"This document records some important laws of classical predicate logic. It is designed as a reservoir to be tapped by users of logic, in system development. Though a systematic presentation is attempted, many of the laws appear just because they happen to be useful.".

Quomodo versus lyrici legendi sint, plerumque inter metricos constat, licet de origine singulorum versuum vel colorum dubia moveantur; at ne illud quidem confirmari potest in genere illo peculiari, quo multae strophae Pindari et Bacchylidis et nonnullae poétarum scenicorum compositae sunt. Quod in talibus versibus maxime conspicuum est, hoc est, quod metra τоû σоυ et διπλασíоυ γéνоυς; in eis coniunguntur vel coniungi videntur, ita, ut ambitus utriusque partis aut par aut non multum maior minorve sit. lam antiqui metrici parum compertum habebant, (...) qua ratione eiusmodi versus explicarent. Cum maior pars ceterorum versuum lyricorum etiam post Alexandri aetatem in usu essent et doctrina grammaticorum hanc quoque materiam complecteretur, pauca versuum illorum vestigia remanebant, postquam chori lyrici et dramatici conticuerunt. Habemus quidem Meliambos Cercidae eodem genere carmina pangere conati, quo clarissimi illi veteres, sed eos perlegentes statim sentimus artem intermortuam non ab isto Megalopolitano nova vita donatam esse; nihil enim frigidius cogitari potest, quam si quis oda pindarica recitata ad Cercidae versus se convertat eosque alta voce pronuntiare conetur. Metrici graeci et romani praeter paucos versus eosque singillatim genus nostrum non tractant nee quisquam ex eorum numero de genere toto disseruit. Horatium et suamet ipsum arte prae ceteris excellentem et doctrina metrica haud mediocriter imbutum non aliter ac nos huius aevi philologos nescire, quomodo carmina pindarica ab ipso poeta componerentur, ex Oda notissima patet, in qua Pindarum quisquis studet aemulari frustra in re desperata desudare perhibetur. Ad universam lyricorum graecorum artem pertinent, quae a Cicerone in Oratore affirmantur, qui tamen clausulis orationis numerosae operam dans rem metricam non neglexit: sed in versibus res est apertior, quamquam etiam a modis quibusdam cantu remoto soluta esse videatur oratio, maximeque id in optima quoque eorum poëtarum, qui λυρικоí a graecis nominantur, quos, cum cantu spoliaveris, nuda paene remanet oratio. Causam hanc vel maximam esse puto in nullo alio carmina pangendi genere musicam, saltationem, metrum tam arte cohaesisse; cum poësis non iam pars habebatur υθμιξου, quod φθγγοδ, σχμα, συλλαβ definiebant, ut Aristoxeni terminis utar , via stabilita ambitum singulorum versuum ac colorum statuere conarentur et indoloem pedum metricorum conicendo indicarent. (shrink)

Background: Mental healthcare needs person-tailored interventions. Experience Sampling Method (ESM) can provide daily life monitoring of personal experiences. This study aims to operationalize and test a measure of momentary reward-related Quality of Life (rQoL). Intuitively, quality of life improves by spending more time on rewarding experiences. ESM clinical interventions can use this information to coach patients to find a realistic, optimal balance of positive experiences (maximize reward) in daily life. rQoL combines the frequency of engaging in a relevant context (a (...) ‘behavior setting’) with concurrent (positive) affect. High rQoL occurs when the most frequent behavior settings are combined with positive affect or infrequent behavior settings co-occur with low positive affect. Methods: Resampling procedures (Monte Carlo experiments) were applied to assess the reliability of rQoL using various behavior setting definitions under different sampling circumstances, for real or virtual subjects with low-, average- and high contextual variability. Furthermore, resampling was used to assess whether rQoL is a distinct concept from positive affect. Virtual ESM beep datasets were extracted from 1058 valid ESM observations for virtual and real subjects. Results: Behavior settings defined by Who-What contextual information were most informative. Simulations of at least 100 ESM observations are needed for reliable assessment. Virtual ESM beep datasets of a real subject can be defined by Who-What-Where behavior setting combinations. Large sample sizes are necessary for reliable rQoL assessments, except for subjects with low contextual variability. rQoL is distinct from positive affect. Conclusion: rQoL is a feasible concept. Monte Carlo experiments should be used to assess the reliable implementation of an ESM statistic. Future research in ESM should asses the behavior of summary statistics under different sampling situations. This exploration is especially relevant in clinical implementation, where often only small datasets are available. (shrink)

The purpose of this brief introduction is to describe the origin of the papers here presented and to acknowledge the help of some of the many individuals who were involved in the preparation of this volume. Of the eighteen papers, nine stem from the annual fall colloquium of the Depart ment of Philosophy at the University of Western Ontario held in London, Ontario from November 10 to November 12, 1967. The colloquium was entitled 'Philosophical Logic'. After some discussion, the editors (...) decided to retain that title for this volume. Von Wright's paper 'On the Logic and Ontology of Norms' is printed here after some revision. A. R. Anderson commented on the paper at the colloquium, but his comments here are based upon the revised version of the von Wright paper. The chairman of the session at which von Wright's paper was read and discussed was T. A. Goudge. Aqvist's paper 'Scattered Topics in Interrogative Logic', and Belnap's comments, 'Aqvist's Cor rections-Accumulating Question-Sequences', are printed as delivered. The chairman of the Aqvist-Belnap session was R. E. Butts. Wilfrid Sellars' paper 'Some Problems about Belief' is printed as delivered at the col loquium, but 'Quantifiers, Beliefs, and Sellars' by Ernest Sosa is a revision of his comments at the colloquium. That session was chaired by G. D. W. Berry. Ackermann's paper 'Some Problems oflnductive Logic', as well as Skyrms' comments, are printed as delivered. (shrink)

In 1947, Jacques Maritain argued before the UN that “men mutually opposed in their theoretical conceptions can come to a merely practical agreement regarding a list of human rights.” Maritain justified this thesis using a progressive theory of the natural law which rests on a distinction between the natural law as operative in human nature and the natural law as known and articulated. Drawing on Maritain’s 1951 Man and the State, this essay defends a MacIntyrian reading of Maritain’s thesis and (...) its plausibility against four objections from Ralph McInerny, Charles Taylor, and Alasdair MacIntyre himself. (shrink)